Section: Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

• RED ALERT LABS (Paris, France)

  • Verification of the security requirements of an IoT device (a connected doorbell) using the SCUBA tool suite.

  • An extension of SCUBA (see 6.6) is developed to verify the security requirements provided in Common Criteria format by the industrial partner. The verification uses the information of the Security Knowledge Bases (SKB) built by the SCUBA tool suite.